step(al,bs,tm(zk,[ctxm(xi_,u,ip,ip_al_4,ip_al_4),ctxm(xi_,sp,ip,ip_bs,ip_bs)],pri(zk,[pri(lst,[pri(cred,[ctxm(xi_,u,i,i_al,i_al),ctxm(xi_,idp2,kM,kM_is,kM_is),pri(lst,[ctxm(xi_,u,d_5,id_5,cd_5),ctxm(xi_,u,d_6,id_6,cd_6)]),ctxm(xi_,dot,n_c2_2,in_eta_n2,cn_eta_n2),ctxm(xi_,dot,n_c2_5,in_eta_n5,cn_eta_n5)]),ctxm(xi_,u,i,i_al,i_al),ctxm(xi_,u,d_5,id_5,cd_5),ctxm(xi_,u,d_6,id_6,cd_6),ctxm(xi_,dot,n,in_xi_n,cn_xi_n),ctxm(xi_,dot,n_2_1,in_xi_n21,cn_xi_n21)]),pri(lst,[pri(h,[pri(lst,[ctxm(xi_,u,i,i_al,i_al),ctxm(xi_,dot,n,in_xi_n,cn_xi_n)])]),pri(h,[pri(lst,[ctxm(xi_,u,d_5,id_5,cd_5),ctxm(xi_,dot,n_2_1,in_xi_n21,cn_xi_n21)])]),ctxm(xi_,u,d_6,id_6,cd_6),pri(pk,[ctxm(xi_,idp2,kM,kM_is,kM_is)])]),ctxm(xi_,dot,n_2_a,in_xi_n2a,cn_xi_n2a),ctxm(xi_,dot,n_2_b,in_xi_n2b,cn_xi_n2b)]))).

